$\forall$$A$,$B$:Type, $f$:($A$$\rightarrow$$B$), ${\it as}$:($A$ List). $\parallel$map($f$; ${\it as}$)$\parallel$ = $\parallel$${\it as}$$\parallel$ $\in$ $\mathbb{Z}$